Nuprl Definition : swap
4,23
postcript
pdf
swap(
L
;
i
;
j
) == (
L
o (
i
,
j
))
latex
Definitions
(
L
o
f
)
,
(
i
,
j
)
FDL editor aliases
swap
origin